automated theorem proving 뜻
발음:
국어 번역
모바일
- 자동 정리 증명
- theorem noun, 정리
- proving ground , (장비, 이론 등의) 실험장
- automated reasoning 자동화된 추론
- automated teller 현금 자동 입출금기
- automated test 자동화된 테스트
- anheung proving ground 안흥종합시험장
- automated banking machine 현금 자동 입출금기
- automated external defibrillator 자동심장충격기
- automated fare collection 자동 요금 징수
- automated guideway transit 무인궤도교통
- automated system recovery 시스템 자동 복구
- automated teller machine 현금 자동 입출금기; 현금 자동 지급기; 현급 지급기
- automated transfer vehicle ATV (우주선)
- sherlock automated design analysis 셜록 자동화 디자인 분석
- automated system recovery preparation wizard 시스템 자동 복구 준비 마법사